lets derive